WorkspaceThumbnail: fix mutter warning

Pass a proper timestamp to workspace activation functions

https://bugzilla.gnome.org/show_bug.cgi?id=694365

diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js
index c2a415a1997cba10aa4303f0e7ffd024ee15213a..dee24fa3c3ac08533d5a3a7572475c073994942e 100644 (file)
--- a/js/ui/workspaceThumbnail.js
+++ b/js/ui/workspaceThumbnail.js
@@ -590,7 +590,7 @@ const ThumbnailsBox = new Lang.Class({
             let thumbnail = this._thumbnails[i]
             let [w, h] = thumbnail.actor.get_transformed_size();
             if (y >= thumbnail.actor.y && y <= thumbnail.actor.y + h) {
-                thumbnail.activate(event.time);
+                thumbnail.activate(event.get_time());
                 break;
             }
         }